A Gaussian processes model for survival analysis with time dependent covariates and interval censoring Aki Vehtari1 and Heikki Joensuu2 1 Department of Biomedical Engineering and Computational Science (BECS), Aalto Unive

Source URL: users.aalto.fi

Edward P. Gatzke Associate Professor Department of Chemical Engineering, University of South Carolina Professional Preparation and Appointments: Georgia Institute of Technology, Chemical Engineering, B.CHE. 1995, Highest

Source URL: www.che.sc.edu

• Engineering
• Mathematical optimization
• Operations research
• Science and technology
• Process engineering
• Global optimization
• American Institute of Chemical Engineers
• Model predictive control
• Control theory
• Polynomial chaos

Learning Robust Objective Functions with Application to Face Model Fitting Matthias Wimmer1 , Sylvia Pietzsch2 , Freek Stulp3 , and Bernd Radig2 1 Faculty of Science and Engineering, Waseda University, Tokyo, Japan

Source URL: wimmerm.bplaced.net

SISPAD 2012, September 5-7, 2012, Denver, CO, USA Nickel Silicide Growth Model: Coupling of Diffusion with Level Set Methods Ashish Kumar and Mark Law Department of Electrical and Computer Engineering

Source URL: in4.iue.tuwien.ac.at

Extended Sequential Reasoning for Data-Race-Free Programs

Source URL: www.hpl.hp.com

• Computing
• Software engineering
• Concurrency control
• Concurrency
• Java platform
• Concurrent computing
• Communication
• Synchronization
• U3
• Java memory model
• Vienna U-Bahn
• Java class file

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

A Model Curriculum for K–12 Computer Science: Final Report

Source URL: csta.acm.org

• Computing
• Education
• Engineering
• Computer Science Teachers Association
• Computer science education
• Computer science
• Science education
• Association for Computing Machinery
• Mark Guzdial
• Educational technology
• Peter J. Denning
• Women in computing

Minimal Model Tabling in Mercury Zoltan Somogyi1 and Konstantinos Sagonas2 1 Department of Computer Science and Software Engineering, University of Melbourne, Australia 2

Source URL: user.it.uu.se

Microsoft Word - London_WG2_Meeting_Minutes

Source URL: www.cost-tu0601.ethz.ch

• Construction
• Engineering
• Real estate
• Civil engineering
• Concrete
• Safety engineering
• Structural engineering
• Structural robustness
• Structural steel
• Economic model
• Robustness

Integrating two Simulation Modules with a General Parallelization Framework David Charypar Fabian Märki Kay W. Axhausen

Source URL: www.strc.ch

• Digital electronics
• Electronic design automation
• Electronic engineering
• Simulation
• Scientific modeling
• Operations research
• PTV VISSIM
• Scientific modelling
• Traffic simulation
• Logic simulation
• Agent-based model
• Computer simulation